Task Speci cation , Planning and Control

نویسنده

  • Randal Nelson
چکیده

Robot manipulators, some thirty years after their commercial introduction, have found widespread application in structured industrial environments, performing , for instance, repetitive tasks in an assembly line. Successful application in unstructured environments however has proven much harder. Yet there are many such tasks where robots would be useful. We present a promising approach to visual (and more general sensory) robot control, that does not require mod-eling of robot transfer functions or the use of absolute world coordinate systems, and thus is suitable for use in unstructured environments. Our approach codes actions and tasks in terms of desired general perceptions rather than motor sequences. We argue that our vision space approach is particularly suited for easy teach-ing/programming of a robot. For instance a task can be taught by supplying an image sequence illustrating it. The resulting robot behavior is robust to changes in the environment, dynamically adjusting the motor control rules in response to environmental variation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Creating A Validated Implementation Of The Steam Boiler Control

SPIN is a tool for the simulation and veri cation of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...

متن کامل

Application of Formal Speci cation to Software Maintenance

This paper describes the use of formal speci cations and associated tools in addressing various aspects of software maintenance | corrective, perfective, and adaptive. It also addresses the re nement of the software development process to build programs that are easily maintainable. The task of software maintenance in our case includes the task of maintaining the speci cation as well as maintai...

متن کامل

The O-Plan Constraint Associator

O Plan is a command planning and control architecture which has an open modular structure intended to allow experimentation on or replacement of various components The research is seeking to isolate functionality that may be generally required in a number of applications and across a number of di erent planning scheduling and control systems The aim of this paper is to describe the Constraint A...

متن کامل

Formal Requirements Speci cation for Command and Control Systems

This paper presents an approach to formal requirements speci cation of embedded systems. The speci c demands of a speci cation for command and control systems are addressed. The proposed method allows various views of a system, like conventional methods. The added value lies in the fact that the relationship between the views is speci ed formally, and consistency between views can be analyzed f...

متن کامل

Reasoning with Constraints within O-Plan2

O Plan is a command planning and control architecture which has an open modular structure intended to allow experimentation on or replacement of various components The research is seeking to isolate functionality that may be generally required in a number of applications and across a number of di erent planning scheduling and control systems This paper describes the way in which plan constraint...

متن کامل

Synthesis of Integrated Task and Motion Plans from Plan Outlines Using SMT Solvers

We present a new approach to integrated task and motion planning (ITMP) for robots perform-ing mobile manipulation. In our approach, the user writes a high-level speci cation that captures partialknowledge about a mobile manipulation setting. In particular, this speci cation includes a plan outline thatsyntactically de nes a space of plausible integrated plans, a set of logical requ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995